Zero-knowledge proof - PDFSEARCH.IO - Document Search Engine

Zero-knowledge proof
Results: 211

#	Item
61	Batch Proofs of Partial Knowledge? Ryan Henry and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 Add to Reading List Source URL: www.cypherpunks.ca Language: English - Date: 2013-05-03 09:29:37 Proof of knowledge Zero-knowledge proof IP Soundness Commitment scheme NP Interactive proof system Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Theoretical computer science
62	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
63	Non-interactive Designated Verifier Proofs and Undeniable Signatures Caroline Kudla? and Kenneth G. Paterson Information Security Group Royal Holloway, University of London, UK {c.j.kudla,kenny.paterson}@rhul.ac.uk Add to Reading List Source URL: www.isg.rhul.ac.uk Language: English - Date: 2005-09-06 11:06:02 Ring signature Designated verifier signature Zero-knowledge proof NP Undeniable signature Commitment scheme IP Public-key cryptography Probabilistically checkable proof Cryptography Digital signature Proof of knowledge
64	1234145467836391829836846489A2BCBD183 École doctorale nO 84 : Sciences et technologies de l’information et de la communication Doctorat ParisTech Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Adaptive chosen-ciphertext attack Optimal asymmetric encryption padding Zero-knowledge proof ElGamal encryption Symmetric-key algorithm RSA Chosen-ciphertext attack Cryptography Public-key cryptography Ciphertext indistinguishability
65	A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEA Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Zero-knowledge proof Soundness Alice and Bob Feige–Fiat–Shamir identification scheme Interactive proof system Proof of knowledge Cryptography Cryptographic protocols IP
66	A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEA Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Zero-knowledge proof Soundness Alice and Bob Feige–Fiat–Shamir identification scheme Interactive proof system Proof of knowledge Cryptography Cryptographic protocols IP
67	Proving Computational Ability Mihir Bellare Oded Goldreichy August 1992 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:28:46 IP Interactive proof system Mathematics Zero-knowledge proof Soundness Expected value Non-interactive zero-knowledge proof Information Cryptographic protocols Applied mathematics Proof of knowledge
68	Private Client-Side Profiling with Random Forests and Hidden Markov Models George Danezis1 , Markulf Kohlweiss1 , Benjamin Livshits1 , and Alfredo Rial2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-02 16:07:22 Zero-knowledge proof Proof of knowledge IP Mathematical proof Markov chain Commitment scheme Alice and Bob Random oracle Digital signature Cryptography Cryptographic protocols Public-key cryptography
69	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-09 20:04:43 Cross-platform software Language Integrated Query Zero-knowledge proof Multitier architecture C Inline expansion Regular expression Type system Monad Computing Software engineering Computer programming
70	How To Play Almost Any Mental Game Over The Net — Concurrent Composition via Super-Polynomial Simulation Boaz Barak∗ Department of Computer Science Princeton University Princeton, New Jersey Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:49:36 Secure multi-party computation Zero-knowledge proof Standard model IP Random oracle Communications protocol Commitment scheme NP Transmission Control Protocol Cryptography Cryptographic protocols Secure two-party computation

UPDATE